Skip to content

Add namedisl as a downstream CI - #224

Merged
inducer merged 1 commit into
mainfrom
namedisl-downstream
Sep 10, 2026
Merged

Add namedisl as a downstream CI#224
inducer merged 1 commit into
mainfrom
namedisl-downstream

Conversation

@inducer

@inducer inducer commented Sep 10, 2026

Copy link
Copy Markdown
Owner

No description provided.

@inducer
inducer enabled auto-merge (rebase) September 10, 2026 14:27
@inducer
inducer force-pushed the namedisl-downstream branch 3 times, most recently from d49e0d0 to 0871536 Compare September 10, 2026 15:09
@inducer
inducer force-pushed the namedisl-downstream branch from 0871536 to 3810569 Compare September 10, 2026 15:27
@inducer
inducer merged commit beb0337 into main Sep 10, 2026
20 checks passed
@inducer
inducer deleted the namedisl-downstream branch September 10, 2026 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant